Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Licence : Olivier Zendra, langages à objets / Java, 53h, niveau (L2), University of Lorraine, France

• Master : Liliana Cucu, Multiprocessor real-time systems, 30h, niveau (M1), University of Lorraine, France

• Master : Nicolas Navet, Real-time critical systems, 30h, niveau (M1), University of Lorraine, France

Supervision

PhD & HdR :

• PhD : Aurélien Monot, Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar, University of Lorraine, November 29th, Françoise Simonot, Nicolas Navet and Bernard Bavoux

• PhD : Pierre Caserta, Analyse statique et dynamique de code et visualisation des logiciels via la métaphore de la ville: contribution à l'aide à la compréhension des programmes, December 7th, Jean-Pierre Thomesse and Olivier Zendra

• PhD in progress: Dorin Maxim, Probabilistic real-time systems, October 1st 2010, Liliana Cucu and Françoise Simonot-Lion

Juries

• Liliana Cucu was member of the PhD thesis jury of Mikel Cordovilla, defended in April 2012 at ONERA, Toulouse.

• Olivier Zendra was member of the PhD thesis jury of Olivier Sallenave, defended in November 2012 at LIRMM / Université de Montpellier